ReP USP - Resultado da busca

Dissertação (Mestrado)
Liars and circles: essays on truth, self-reference and paradoxes (2023)
Abrahão, Fernanda Birolli; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Subjects: MENTIRA, PARADOX, FILOSOFIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ABRAHÃO, Fernanda Birolli. Liars and circles: essays on truth, self-reference and paradoxes. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-01122023-201646/. Acesso em: 27 abr. 2024.
APA
Abrahão, F. B. (2023). Liars and circles: essays on truth, self-reference and paradoxes (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-01122023-201646/
NLM
Abrahão FB. Liars and circles: essays on truth, self-reference and paradoxes [Internet]. 2023 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-01122023-201646/
Vancouver
Abrahão FB. Liars and circles: essays on truth, self-reference and paradoxes [Internet]. 2023 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-01122023-201646/
Dissertação (Mestrado)
Objetos imitadores: teoremas limitativos pensados a partir da computação (2022)
Stolf, Euclides Torres Ometto; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Subjects: FILOSOFIA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STOLF, Euclides Torres Ometto. Objetos imitadores: teoremas limitativos pensados a partir da computação. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/. Acesso em: 27 abr. 2024.
APA
Stolf, E. T. O. (2022). Objetos imitadores: teoremas limitativos pensados a partir da computação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
NLM
Stolf ETO. Objetos imitadores: teoremas limitativos pensados a partir da computação [Internet]. 2022 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
Vancouver
Stolf ETO. Objetos imitadores: teoremas limitativos pensados a partir da computação [Internet]. 2022 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
Tese (Doutorado)
Semantics and communication: essays on the Semantics-Pragmatics divide (2022)
Nagase, Daniel Arvage; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Subjects: COMUNICAÇÃO, PRAGMÁTICA, SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAGASE, Daniel Arvage. Semantics and communication: essays on the Semantics-Pragmatics divide. 2022. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22082022-152343/. Acesso em: 27 abr. 2024.
APA
Nagase, D. A. (2022). Semantics and communication: essays on the Semantics-Pragmatics divide (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22082022-152343/
NLM
Nagase DA. Semantics and communication: essays on the Semantics-Pragmatics divide [Internet]. 2022 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22082022-152343/
Vancouver
Nagase DA. Semantics and communication: essays on the Semantics-Pragmatics divide [Internet]. 2022 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22082022-152343/
Tese (Doutorado)
Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica (2021)
Lima, Guilherme Messias Pereira; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Subjects: LÓGICA MODAL, METAFÍSICA, SEMÂNTICA, TOPOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LIMA, Guilherme Messias Pereira. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/. Acesso em: 27 abr. 2024.
APA
Lima, G. M. P. (2021). Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
NLM
Lima GMP. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica [Internet]. 2021 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
Vancouver
Lima GMP. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica [Internet]. 2021 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
Tese (Doutorado)
Paraconsistentização de lógicas (2019)
Dias, Diogo Henrique Bispo; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAS, Diogo Henrique Bispo. Paraconsistentização de lógicas. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/. Acesso em: 27 abr. 2024.
APA
Dias, D. H. B. (2019). Paraconsistentização de lógicas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/
NLM
Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2024 abr. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/
Vancouver
Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2024 abr. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/
Dissertação (Mestrado)
Neurath e a concepção semântica de verdade (2019)
Campos, Lucas Baccarat Silva Negrão de; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Subjects: SEMÂNTICA, VERDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAMPOS, Lucas Baccarat Silva Negrão de. Neurath e a concepção semântica de verdade. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04122019-154008/. Acesso em: 27 abr. 2024.
APA
Campos, L. B. S. N. de. (2019). Neurath e a concepção semântica de verdade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04122019-154008/
NLM
Campos LBSN de. Neurath e a concepção semântica de verdade [Internet]. 2019 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04122019-154008/
Vancouver
Campos LBSN de. Neurath e a concepção semântica de verdade [Internet]. 2019 ;[citado 2024 abr. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04122019-154008/
Dissertação (Mestrado)
Teoria de Categorias: uma semântica categorial para linguagens proposicionais (2018)
Maillard, Christian Marcel de Amorim Perret Gentil Dit; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Subjects: FILOSOFIA, LÓGICA, LÓGICA MATEMÁTICA, CÁLCULO PROPOSICIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAILLARD, Christian Marcel de Amorim Perret Gentil Dit. Teoria de Categorias: uma semântica categorial para linguagens proposicionais. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/. Acesso em: 27 abr. 2024.
APA
Maillard, C. M. de A. P. G. D. (2018). Teoria de Categorias: uma semântica categorial para linguagens proposicionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/
NLM
Maillard CM de APGD. Teoria de Categorias: uma semântica categorial para linguagens proposicionais [Internet]. 2018 ;[citado 2024 abr. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/
Vancouver
Maillard CM de APGD. Teoria de Categorias: uma semântica categorial para linguagens proposicionais [Internet]. 2018 ;[citado 2024 abr. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/
Trabalho de evento-resumo
Paraconsistentization of logics via category theory (2016)
Souza, Edelcio Gonçalves de; Costa-Leite, Alexandre; Dias, Diogo H. B.
Source: Book of Abstracts. Conference titles: Trends in Logic. Unidade: FFLCH
Subjects: LÓGICA, LÓGICA SIMBÓLICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. Paraconsistentization of logics via category theory. 2016, Anais.. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP, 2016. . Acesso em: 27 abr. 2024.
APA
Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). Paraconsistentization of logics via category theory. In Book of Abstracts. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP.
NLM
Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 abr. 27 ]
Vancouver
Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 abr. 27 ]
Artigo de periodico
On a paraconsistentization functor in the category of consequence structures (2016)
Souza, Edelcio Gonçalves de ; Costa-Leite, Alexandre ; Dias, Diogo H. B.
Source: Journal of Applied Non-Classical Logics. Unidade: FFLCH
Subjects: LÓGICA, LÓGICA SIMBÓLICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, v. 26, n. 3, p. 240-250, 2016Tradução . . Disponível em: https://doi.org/10.1080/11663081.2016.1225487. Acesso em: 27 abr. 2024.
APA
Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, 26( 3), 240-250. doi:10.1080/11663081.2016.1225487
NLM
Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1080/11663081.2016.1225487
Vancouver
Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1080/11663081.2016.1225487
Trabalho de evento-resumo
On a paraconsistentization function (2014)
Souza, Edelcio Gonçalves de; Costa-Leite, Alexandre
Source: Handbook. Conference titles: World Congress on Paraconsistency. Unidade: FFLCH
Subjects: LÓGICA, LÓGICA SIMBÓLICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre. On a paraconsistentization function. 2014, Anais.. Kolkata: Indian Statistical Institute, 2014. . Acesso em: 27 abr. 2024.
APA
Souza, E. G. de, & Costa-Leite, A. (2014). On a paraconsistentization function. In Handbook. Kolkata: Indian Statistical Institute.
NLM
Souza EG de, Costa-Leite A. On a paraconsistentization function. Handbook. 2014 ;[citado 2024 abr. 27 ]
Vancouver
Souza EG de, Costa-Leite A. On a paraconsistentization function. Handbook. 2014 ;[citado 2024 abr. 27 ]
Artigo de periodico
Analiticidade e protocolos interpretativos (2013)
Souza, Edelcio Gonçalves de
Source: Cognitio: Revista de Filosofia. Unidade: FFLCH
Assunto: ANÁLISE (FILOSOFIA)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Edelcio Gonçalves de. Analiticidade e protocolos interpretativos. Cognitio: Revista de Filosofia, v. 14, n. 2, p. 247-254, 2013Tradução . . Disponível em: http://revistas.pucsp.br/index.php/cognitiofilosofia/article/viewFile/18376/13671. Acesso em: 27 abr. 2024.
APA
Souza, E. G. de. (2013). Analiticidade e protocolos interpretativos. Cognitio: Revista de Filosofia, 14( 2), 247-254. Recuperado de http://revistas.pucsp.br/index.php/cognitiofilosofia/article/viewFile/18376/13671
NLM
Souza EG de. Analiticidade e protocolos interpretativos [Internet]. Cognitio: Revista de Filosofia. 2013 ; 14( 2): 247-254.[citado 2024 abr. 27 ] Available from: http://revistas.pucsp.br/index.php/cognitiofilosofia/article/viewFile/18376/13671
Vancouver
Souza EG de. Analiticidade e protocolos interpretativos [Internet]. Cognitio: Revista de Filosofia. 2013 ; 14( 2): 247-254.[citado 2024 abr. 27 ] Available from: http://revistas.pucsp.br/index.php/cognitiofilosofia/article/viewFile/18376/13671
Artigo de periodico
Definability in infinitary languages and invariance by automorphims (2010)
Rodrigues, Alexandre Augusto Martins; Miranda Filho, Ricardo Carneiro de; Souza, Edelcio Gonçalves de
Source: Reports on Mathematical Logic. Unidade: IME
Subjects: TEORIA DOS MODELOS, INTERPOLAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUES, Alexandre Augusto Martins e MIRANDA FILHO, Ricardo Carneiro de e SOUZA, Edelcio Gonçalves de. Definability in infinitary languages and invariance by automorphims. Reports on Mathematical Logic, v. 45, p. 119-133, 2010Tradução . . Disponível em: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf. Acesso em: 27 abr. 2024.
APA
Rodrigues, A. A. M., Miranda Filho, R. C. de, & Souza, E. G. de. (2010). Definability in infinitary languages and invariance by automorphims. Reports on Mathematical Logic, 45, 119-133. Recuperado de https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf
NLM
Rodrigues AAM, Miranda Filho RC de, Souza EG de. Definability in infinitary languages and invariance by automorphims [Internet]. Reports on Mathematical Logic. 2010 ; 45 119-133.[citado 2024 abr. 27 ] Available from: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf
Vancouver
Rodrigues AAM, Miranda Filho RC de, Souza EG de. Definability in infinitary languages and invariance by automorphims [Internet]. Reports on Mathematical Logic. 2010 ; 45 119-133.[citado 2024 abr. 27 ] Available from: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf
Artigo de periodico
Invariance and set-theoretical operations in first order structures (2006)
Rodrigues, Alexandre Augusto Martins; Miranda Filho, Ricardo Carneiro de; Souza, Edelcio Gonçalves de
Source: Reports on Mathematical Logic. Unidade: IME
Assunto: TEORIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUES, Alexandre Augusto Martins e MIRANDA FILHO, Ricardo Carneiro de e SOUZA, Edelcio Gonçalves de. Invariance and set-theoretical operations in first order structures. Reports on Mathematical Logic, v. 40, p. 207-213, 2006Tradução . . Disponível em: https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf. Acesso em: 27 abr. 2024.
APA
Rodrigues, A. A. M., Miranda Filho, R. C. de, & Souza, E. G. de. (2006). Invariance and set-theoretical operations in first order structures. Reports on Mathematical Logic, 40, 207-213. Recuperado de https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf
NLM
Rodrigues AAM, Miranda Filho RC de, Souza EG de. Invariance and set-theoretical operations in first order structures [Internet]. Reports on Mathematical Logic. 2006 ; 40 207-213.[citado 2024 abr. 27 ] Available from: https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf
Vancouver
Rodrigues AAM, Miranda Filho RC de, Souza EG de. Invariance and set-theoretical operations in first order structures [Internet]. Reports on Mathematical Logic. 2006 ; 40 207-213.[citado 2024 abr. 27 ] Available from: https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title